<?php
    
    session_start ();
    include 'function.php';
    display_header();
    if (isset($_SESSION['login']) && isset($_SESSION['mdp'])) {

?>

<ol>
    <legend>Distributions</legend>
    <li><a href="memoire.php?ostype=Debian">Debian 6.0 32bits</a></li>
    <li><a href="memoire.php?ostype=Ubuntu">Ubuntu Serveur 11.04 32bits</a></li>
    <li>Fedora</li>
</ol>

<?php

    display_footer(); 
    } else { header("Refresh: 0; URL=index.php"); }
    is_log();

?>